Works by José F. Prida

( view other items matching `José F. Prida`, view all matches )
4 found
Order:
Disambiguations
José Fernandez Prida [3]José F. Prida [1]
  1.  44
    Números superaleatorios.Prida José Fernandez - 1994 - Theoria 9 (1):185-188.
    The notion of hyperrandomness is introduced and it is proved that the set of the hyperrandom numbers is effectively inmune but not hyperinmune.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2.  12
    Números superaleatorios.José Fernandez Prida - 1994 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 9 (1):185-188.
    The notion of hyperrandomness is introduced and it is proved that the set of the hyperrandom numbers is effectively inmune but not hyperinmune.
    Direct download  
     
    Export citation  
     
    Bookmark  
  3.  5
    Una prueba algebraica de los teoremas de Skolem-Löwenheim y Gödel.José F. Prida - 1973 - [Madrid]: Centro de Cálculo de la Universidad de Madrid.
    Direct download  
     
    Export citation  
     
    Bookmark  
  4.  51
    Un teorema de multirecursión.Prida José Fernández - 1992 - Theoria 7 (1/2/3):87-90.
    A very general multi-recursion theorem is proved, particular cases of which are the Kleene’s fixed point theorem and the Smullyan’s double recursion theorem.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark